доказательство
121Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …
122АПАГОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — (от греч. apagogos выводящий). Доказательство справедливости какого либо положения, основанное на невозможности, несостоятельности противоположного заключения. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910.… …
123косвенное доказательство — 1) вид дедуктивного доказательства, при котором некоторое суждение (тезис) доказывается посредством опровержения некоторых других суждений, связанных с доказываемым. Различают анагогическое косвенное доказательство (доказательство от противного) …
124Автоматическое доказательство — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов. В силу неразрешимости даже …
125КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — понятие логики (см. Умозаключение апагогическое). Философский энциклопедический словарь. 2010. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО …
126Автоматическое доказательство теорем — Автоматическое доказательство теорем  доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний …
127Социальное доказательство — (от англ. Social proof), или информационное социальное влияние  психологическое явление, происходящее когда люди не могут определить предпочтительный способ поведения в сложных ситуациях. Предполагая, что окружающие лучше знакомы с… …
128ОНТОЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — (греч., от on, ontos существующий, и lego говорю). Доказательство, по которому из самого понятия о Боге доказывается существование его. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ОНТОЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО… …
